Issue1216.agda:12,1-11
Ill-formed projection pattern ind A
when scope checking the left-hand side ind A loop in the definition
of loop
